Micron Document
____ _ _ _ _
| _ \ ___ | |_ (_) _ __ ___ __| | (_) __ _
| |_) | / _ \ | __| | | | '_ \ / _ \ / _| | | | / _ |
| _ < | __/ | |_ | | | |_) | | __/ | (_| | | | | (_| |
|_| \_\ \___| \__| |_| | .__/ \___| \__,_| |_| \__,_|
|_|


The NomadNet German Wikipedia | Archives | Info
- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b- `b

πŸ” Search

Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―Β―

Hilbert-Samuel-Polynom
──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
top
Das Hilbert-Samuel-Polynom ist ein Begriff aus den mathematischen Teilgebieten der kommutativen Algebra und der algebraischen Geometrie. Es wird dort in der Dimensionstheorie und in der Berechnung der Schnittpunkte gebraucht. WΓ€hrend der Grad fΓΌr die Dimensionstheorie wichtig ist, spielen die Koeffizienten fΓΌr die Schnitttheorie der algebraischen Geometrie eine Rolle. Benannt wurde es nach David Hilbert und Pierre Samuel.

Dieser Artikel beschΓ€ftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Ringhomomorphismen bilden Einselemente auf Einselemente ab. FΓΌr weitere Details siehe Kommutative Algebra.

Contents

β€’ Definitionen
β€’ Literatur

──────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────

Definitionen

Es sei

R = ⨁ ⨁ n ∈ ∈ N R n {\displaystyle R=\bigoplus _{n\in \mathbb {N} }R_{n}}

ein graduierter Ring mit folgenden Eigenschaften:

1. R 0 {\displaystyle R_{0}} ist ein R 0 {\displaystyle R_{0}} -Modul von endlicher LΓ€nge
2. R {\displaystyle R} wird als Ring von R 0 {\displaystyle R_{0}} und endlich vielen Elementen a 1 , … … , a r {\displaystyle a_{1},\dots ,a_{r}} erzeugt.
3. M {\displaystyle M} sei ein graduierter endlicher R {\displaystyle R} -Modul.

Dann wird die Funktion

f : : N β†’ β†’ N {\displaystyle f\colon \mathbb {N} \to \mathbb {N} }
f : : n ↦ ↦ l R 0 ( ⨁ ⨁ i = 0 n βˆ’ βˆ’ 1 M i ) {\displaystyle f\colon n\mapsto l_{R_{0}}\left(\bigoplus _{i=0}^{n-1}M_{i}\right)}

Hilbert-Samuel-Funktion genannt

Unter den Voraussetzungen der Definition (und mit diesen Bezeichnungen) gilt folgender Satz:

β€’ FΓΌr große n {\displaystyle n} ist die Hilbert-Samuel-Funktion ein Polynom P [ X ] {\displaystyle P[X]} aus Q [ X ] {\displaystyle \mathbb {Q} [X]} . Es ist g r a d ( P [ X ] ) ≀ ≀ r {\displaystyle grad(P[X])\leq r} und der hΓΆchste Koeffizient von P [ X ] {\displaystyle P[X]} ist positiv.

Das bedeutet, dass es ein : P [ X ] ∈ ∈ Q [ X ] {\displaystyle P[X]\in \mathbb {Q} [X]} und ein : k ∈ ∈ N {\displaystyle :k\in \mathbb {N} } gibt, sodass für alle n > k {\displaystyle n>k} gilt:

f ( n ) = P ( n ) {\displaystyle f(n)=P(n)}

Dieses Polynom heißt das Hilbert-Samuel-Polynom.

Dimensionstheorie

Ist A {\displaystyle A} ein lokaler Ring mit maximalem Ideal m {\displaystyle m} , und

g r m ( A ) := ⨁ ⨁ n ∈ ∈ N m n / m n + 1 {\displaystyle \mathrm {gr} _{m}(A):=\bigoplus _{n\in \mathbb {N} }m^{n}/m^{n+1}}

der graduierte Ring zu diesem Ideal. Dann gilt fΓΌr den Grad des Hilbertpolynoms P m ( g r m ( A ) ) {\displaystyle \mathrm {P} _{m}(\mathrm {gr} _{m}(A))} dieses Ringes (betrachtet als Modul ΓΌber sich selbst):

g r a d ( P m ( g r m ( A ) ) ) = d i m ( A ) {\displaystyle \mathrm {grad} (\mathrm {P} _{m}(\mathrm {gr} _{m}(A)))=\mathrm {dim} (A)}

( d i m ( A ) {\displaystyle \mathrm {dim} (A)} ist die Krulldimension des Ringes)

Literatur

β€’ Atiyah, Macdonald: Introduction to Commutative Algebra, Addison-Wesley (1969), ISBN 0-201-00361-9
β€’ BrΓΌske, Ischebeck, Vogel: Kommutative Algebra, Bibliographisches Institut (1989), ISBN 978-3-411-14041-1
β€’ Robin Hartshorne: Algebraic Geometry, Springer-Verlag, New York/Berlin/Heidelberg 1977, ISBN 3-540-90244-9